This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

Negotiators are always driven by the clock, and the art of negotiation is one of this book's main themes. The examples included, such as the Iran nuclear talks, are mostly contemporary, but historical background to the diplomatic methods themselves is always provided. This helps to show that a rejuvenation of key features of traditional diplomacy has occurred in recent years th...(展开全部)

With a clear presentation, Ethics: Theory and Practice educates readers about ethical theory and has them apply what they learn to specific classic and contemporary moral problems (lying, cheating, establishing ethical business practices, honoring ethical obligations in medicine, etc.). Jacques P. Thiroux first wrote this text 1977 in order to educate readers about ethical theo...(展开全部)

著者简介 雅克•蒂洛（Jacques Paul Thiroux，1928～2006），美国著名伦理学家，曾任加州大学贝克斯菲尔德分校哲学系主任、伦理学教授。他是人道主义伦理学体系的创立者，享有盛誉的伦理学教育家。蒂洛还是一位热忱的社会活动家，他与妻子共同创建了贝克斯菲尔德Spotlight Theatre School of Arts，也是当地第一家失亲者联合会的创建人之一。 基思•克拉斯曼（Keith W. Krasemann），美国伊利诺伊州杜佩奇学院哲学与宗教学教授，曾获富布赖特(Fulbright)奖学金访问中国。 译者者简介 程立显，英国威尔士大学哲学博士。现任北京大学教授、博士生导师，北京市伦理学会副会长。 刘建，中国社会科学院亚太研究所研究员、文化研究室主任。 审阅者简介 周辅成（1911～ ），中国现当代伦理学家，北京大学教授，中国...(展开全部)

Readable, concise and authoritative, this classic guide to deconstruction focuses on the seminal works of Jacques Derrida, as well as the work of North American critics Paul de Man, Geoffrey Hartman, J. Hillis Miller and Harold Bloom. This third, revised edition includes an entirely new Postscript, reflecting on recent critical debate. A new list of recommended reading compleme...(展开全部)

Readable, concise and authoritative, this classic guide to deconstruction focuses on the seminal works of Jacques Derrida, as well as the work of North American critics Paul de Man, Geoffrey Hartman, J. Hillis Miller and Harold Bloom. This third, revised edition includes an entirely new Postscript, reflecting on recent critical debate. A new list of recommended reading compleme...(展开全部)

本书作者Kenneth C. Louden是圣何塞州立大学的教授，该大学是美国硅谷第一流的计算机科学教育学校，Kenneth C. Louden还是另一本畅销书“Complier Construction Principles and Practice”的作者。

Game theory has become increasingly popular among undergraduate as well as business school students. This text is the first to provide both a complete theoretical treatment of the subject and a variety of real-world applications, primarily in economics, but also in business, political science, and the law. Strategies and Games grew out of Prajit Dutta's experience teaching a co...(展开全部)

This lively and engaging textbook provides the knowledge required to read empirical papers in the social and health sciences, as well as the techniques needed to build statistical models. The author explains the basic ideas of association and regression, and describes the current models that link these ideas to causality. He focuses on applications of linear models, including g...(展开全部)